//------------------------------------------------------------------------------
void diff(char *text1, char *text2, char **result);
void merge(char *source, char *patch, char **result);
//------------------------------------------------------------------------------
